Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
551	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
552	ACM SIGIR International Conference on the Theory of Information Retrieval (ICTIRInstructions for Submitting Formal Bids About ICTIR Add to Reading List Source URL: sigir.org Language: English - Date: 2014-06-30 14:07:38 Science Association for Computing Machinery Natural language processing Information retrieval Conference on Information and Knowledge Management
553	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
554	Varieties Generated by Certain Models of Reversible Finite Automata Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 15:22:32 Mathematics Semigroup theory Algebra Models of computation Category theory Semiautomaton Monoid Free monoid Regular language Abstract algebra Automata theory Formal languages
555	Parse Tools Copyright © Ericsson AB. All Rights Reserved. Parse ToolsMarch 31, 2015 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Parsing Compiler construction Parser generators Compiling tools Formal languages LALR parser Lexical analysis LR parser Lookahead Programming language implementation Computing Software engineering
556	The Past-Tense Verb in the Noldorin of the Etymologies A Formal Classification by Carl F. Hostetter Introduction Add to Reading List Source URL: www.elvish.org Language: English - Date: 2010-11-05 12:18:39 Germanic languages Linguistic morphology Indo-European linguistics Ancient Greek language Greek grammar Quenya Sindarin Nasal infix Aorist Linguistics Historical linguistics Grammar
557	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
558	Chapter 1. Quick Introduction to Syntax Analysis Paul Klint:48:15 +0200 (Sun, 21 OctTable of Contents Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:46 Compiler construction Parser generators Formal languages Compiling tools Parsing Scannerless parsing Syntax Definition Formalism Top-down parsing Bottom-up parsing Software engineering Programming language implementation Computing
559	The syntax∗ package Mark Wooding 17 May 1996 Contents 3.7.1 Add to Reading List Source URL: texdoc.net Language: English - Date: 2009-05-30 17:46:39 Software TeX Syntax diagram Programming language Backus–Naur Form Formal languages Computing Application software
560	Using Semantic Unification to Generate Regular Expressions from Natural Language Nate Kushman Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {nkushman, regin Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2013-11-10 12:44:57 Formal languages Theoretical computer science Computational linguistics Lexical semantics Lambda calculus Parsing Semantics Word-sense disambiguation Natural language processing Linguistics Science Applied mathematics

UPDATE